Browsing by Subject "Computer science"
Now showing items 1-20 of 44
-
Conference Object
Abrupt and incipient fault isolation of nonlinear uncertain systems
(2000)This paper presents a robust fault diagnosis scheme for abrupt and incipient faults in nonlinear uncertain dynamical systems. A detection and approximation estimator is used for online health monitoring. Once a fault is ...
-
Conference Object
Addressing the challenges of future large-scale many-core architectures
(2013)Current processor trends show an increasing number of cores and a diversity of characteristics among them. Such processors offer a large potential for achieving high performance for different applications. Nevertheless, ...
-
Article
Argumentation based modelling of embedded agent dialogues
(2006)This paper presents a novel approach to modelling embedded agent dialogues. It proposes a specific structure for the supporting information accompanying the arguments that agents exchange during a dialogue, it defines ...
-
Article
Argumentative agent deliberation, roles and context
(2002)This paper presents an argumentation based framework to support an agent's deliberation process for drawing conclusions under a given policy. The argumentative policy of the agent is able to take into account the roles ...
-
Article
ARNI: Abductive inference of complex regulatory network structures
(2013)Physical network inference methods use a template of molecular interaction to infer biological networks from high throughput datasets. Current inference methods have limited applicability, relying on cause-effect pairs or ...
-
Article
The complexity of equilibria for risk-modeling valuations
(2016)Following the direction pioneered by Fiat and Papadimitriou in their 2010 paper [12], we study the complexity of deciding the existence of mixed equilibria for minimization games where players use valuations other than ...
-
Article
The complexity of synchronous iterative Do-All with crashes
(2004)The ability to cooperate on common tasks in a distributed setting is key to solving a broad range of computation problems ranging from distributed search such as SETI to distributed simulation and multi-agent collaboration. ...
-
Article
The cost of concurrent, low-contention Read&Modify&Write
(2005)The possibility or impossibility and the corresponding costs of devising concurrent, low-contention implementations of atomic Read&Modify&Write (or RMW) operations in a distributed system were addressed. A natural class ...
-
Article
The Do-All problem with Byzantine processor failures
(2005)Do-All is the abstract problem of using n processors to cooperatively perform m independent tasks in the presence of failures. This problem and its derivatives have been a centerpiece in the study of trade-offs between ...
-
Conference Object
Editorial message: Special track on ubiquitous computing
(2004)Ubiquitous computing places humans in the center of environments saturated with computing and wireless communications capabilities, yet gracefully integrated, so that technology recedes in the background of everyday ...
-
Article
Efficient gossip and robust distributed computation
(2005)This paper presents an efficient deterministic gossip algorithm for p synchronous, crash-prone, message-passing processors. The algorithm has time complexity T=O(log2p) and message complexity M=O(p1+ε), for any ε>0. This ...
-
Article
Efficient, strongly consistent implementations of shared memory
(1992)We present linearizable implementations for two distributed organizations of multiprocessor shared memory. For the full caching organization, where each process keeps a local copy of the whole memory, we present a linearizable ...
-
Conference Object
Emotional web-based design: the concepts of emotional experience and emotional expression
(2011)For many years people have been trying to measure differences between individuals. Over the course of time, a combination of developments in statistical know-how and the evolution of thought within psychology enabled the ...
-
Article
Extending planning graphs to an ADL subset
(1997)We describe an extension of graphplan to a subset of ADL that allows conditional and universally quantified effects in operators in such a way that almost all interesting properties of the original graph-plan algorithm are ...
-
Article
A glimpse at Christos H. Papadimitriou
(2009)Christos H. Papadimitriou is one of the most influential and colorful researchers in Computer Science today. This glimpse is the outcome of a modest attempt of us to a biographical introduction to Christos, which we have ...
-
Conference Object Open Access
Global seismic monitoring network for classroom use
(University of Zilina, 2005)This paper describes the Seismic Internet Monitoring Application 2 (SIMA2) project and explains its use for teaching geology, physics, and computer science at the elementary, high school, and college levels. Earthquakes ...
-
Article
-
Article
Grid resource ranking using low-level performance measurements
(2007)This paper outlines a feasible approach to ranking Grid resources based on an easily obtainable application-specific performance model utilizing low-level performance metrics. First, Grid resources are characterized using ...
-
Conference Object
GridBench: A workbench for Grid benchmarking
(2005)In this article we present the GridBench, an extensible tool for benchmarking and testing Grid resources. We give an overview of the GridBench services and tools that provide easy invocation of benchmarks and management ...
-
Conference Object
Harvesting large-scale grids for software resources
(2009)Grid infrastructures are in operation around the world, federating an impressive collection of computational resources and a wide variety of application software. In this context, it is important to establish advanced ...